Computer Aided Design and Test: BDDs vs. SAT

While after 10 years use of BDDs various BDD-based algorithms have been developed and BDD-techniques have seen dramatic improvements only recently, SAT based techniques are reconsidered with respect to their usability in Electronic Design Automation and in other applications. The organizers took the opportunity to bring together researchers from different areas in computer science, electrical engineering and industry. During the seminar 31 lectures covering different aspects of the topic were presented and the seminar provided a forum for scientific discussion e.g. on ¯ both approaches, also on comparisons among various approaches to SAT, ¯ the advances in BDD and SAT algorithms, ¯ comparisons between BDDs and SAT for various applications e.g., model checking, ¯ hybrid approaches that use BDDs and SAT, and ¯ other approaches to the decision of Boolean formulae. As always, Schloß Dagstuhl and its staff provided a very convenient and stimulating environment for the workshop. The organizers wish to thank all of those who helped in establishing this excellent research atmosphere.